- свободная полугруппа
-
свободная полугруппа
—
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
- free semigroup
Справочник технического переводчика. – Интент. 2009-2013.
СВОБОДНАЯ ПОЛУГРУППА — над алфавитом А полугруппа, элементами к рой. являются всевозможные конечные последовательности элементов из А(букв), а операция состоит в приписывании одной последовательности к другой. Элементы С. п. принято называть словами, а операцию часто… … Математическая энциклопедия
СВОБОДНАЯ АЛГЕБРА — к л а с с а универсальных алгебр алгебра Fиз класса , обладающая с в о б о д н о й п о р о ж д а ю щ е й с и с т е м о й (или б а з о й) X, т. е. таким множеством порождающих X, что всякое отображение множества Xв любую алгебру Аиз продолжается… … Математическая энциклопедия
УПОРЯДОЧЕННАЯ ПОЛУГРУППА — полугруппа, наделенная структурой (частичного, вообще говоря) порядка стабильного относительно полугрупповой операции, т. е. для любых элементов а, b, с из следует и Если отношение на У. н. Sесть линейный порядок, то S наз. линейно упорядоченной… … Математическая энциклопедия
ЛОКАЛЬНО КОНЕЧНАЯ ПОЛУГРУППА — полугруппа, в к рой каждая конечно порожденная подполугруппа конечна. Всякая Л. к. п. будет периодической полугруппой. Обратное неверно: существуют даже периодич. группы, не являющиеся локально конечными (см. Бёрнсайда проблема). Задолго до… … Математическая энциклопедия
РЕШЕТКА ПОДАЛГЕБР — у н и в е р с а л ь н о й а л г е б р ы А частично упорядоченное (отношением теоретико множественного включения) множество Sub A всех подалгебр алгебры А. Для произвольных их супремумом будет подалгебра, порожденная Xи Y, а их инфинумом… … Математическая энциклопедия
ОПЕРАТОРНАЯ ГРУППА — 1) О. г. однопараметрическая группа операторов в банаховом пространстве Е, т. е. семейство линейных ограниченных операторов , такое, что U0=I, Us+t=Us*Ut и Ut непрерывно зависит от t(в равномерной, сильной или слабой топологии). Если Е… … Математическая энциклопедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… … Математическая энциклопедия
ИДЕАЛЬНОЕ ЧИСЛО — элемент полугруппы D дивизоров кольца Ацелых чисел нек рого поля алгебраич. чисел. Полугруппа D коммутативная свободная полугруппа с единицей; ее свободные образующие наз. простыми идеальными числами. В современной терминологии И. ч. наз. целыми… … Математическая энциклопедия
ЛИ АЛГЕБР МНОГООБРАЗИЕ — над кольцом k класс алгебр Ли над k, удовлетворяющих некрой фиксированной системе тождеств. К наиболее распространенным Ли а. м. относятся многообразия: абелевых алгебр Ли, заданное тождеством нильпотентных класса салгебр Ли, в к рых любые… … Математическая энциклопедия
Строковый тип — В программировании, строковый тип (англ. string «нить, вереница») тип данных, значениями которого является произвольная последовательность (строка) символов алфавита. Каждая переменная такого типа (строковая переменная) может быть… … Википедия